computable predicate中文是什么意思

• 可算谓词

• "computable"中文翻译    adj. 能计算的，能算出的。
• "predicate"中文翻译    n. 1.【语法】谓语，述语。 2.【逻辑学】谓项，述项 ...
• "computable" 中文翻译 :    adj. 能计算的，能算出的。
• "predicate" 中文翻译 :    n. 1.【语法】谓语，述语。 2.【逻辑学】谓项，述项，述词，宾词。 3.本质；属性。 adj. 谓语的，述语的；谓项的，述项的。 vt. 1.论断，断言；断定…为某物的属性；断定某物有…的属性 (about; of)。 2.〔美国〕使(声明、行动等)依据于 (on; upon), 使基于。 3.宣言，宣布，声明。 4.意味着，具有…的含义。 5.【语法】表述。 vi. 断言 (of)。 Can anything be predicated about a non-existent thing 能够表述不存在的东西吗？ (We) predicate of the motive that it is good. (我们)断言这个动机是好的。
• "predicate of" 中文翻译 :    n变元谓词; 变项谓词
• "predicate on" 中文翻译 :    使基于
• "computable function" 中文翻译 :    可计算函数; 可算函数
• "computable index" 中文翻译 :    可计算下标
• "computable number" 中文翻译 :    可计算数
• "computable specification" 中文翻译 :    计算机可处理的规范语言; 可计算的规范语言
• "non-computable" 中文翻译 :    不可计算
• "partially computable" 中文翻译 :    部分可计算的
• "turing computable" 中文翻译 :    图灵机可计算的
• "computable business area" 中文翻译 :    可供计算特惠津贴的营业地方; 认可营业地方
• "computable general equilibrium" 中文翻译 :    可计算的一般均衡
• "computable general equilibrium model" 中文翻译 :    可计算一般均衡模型
• "effectively computable function" 中文翻译 :    能行可计算函数
• "logic for computable function" 中文翻译 :    可计算函数逻辑
• "logic of computable functions" 中文翻译 :    可计算函数逻辑
• "partially computable function" 中文翻译 :    部分可计算的函数; 部分可计算函数
• "predictable computable function" 中文翻译 :    预测可算函数
• "predictably computable function" 中文翻译 :    预测可计算性函数; 预测可算函数
• "quintuple turing computable function" 中文翻译 :    五元组图灵可计算函数
• "turing computable function" 中文翻译 :    图灵机可计算函数
• "turing partially computable function" 中文翻译 :    图灵机部分可算函数